Fides: A System for Verifiable Computation Using Smart Contracts

Verifiable computation allows a resource-constrained client to outsource their powerful servers, and efficiently verify received results. Cryptographic verifiable systems, despite elegant designs, have limited application in practice because of the computational cost difficulty correct flexible implementation complex cryptographic systems. An attractive approach verifiably compute general functions is use more than one server same function, decide result based on submitted results all servers. In this paper, we propose system for delegation two cloud servers using smart contract (SC), that guarantees as long at least honest. Our work adapts Refereed Delegation Computation (RDoC) model Canetti, Riva Rothblum (ACM CCS’11) SC setting. This was first considered by Avizheh et al. CCSW’19) who showed direct employment RDoC setting will be insecure copy attack, where copies other server, becomes possible due transparency SC. However, protocol left future work. new SC-aided design with proved security significantly reduces contract. Additionally, it provides against misbehaviours an over Ethereum blockchain. The proposed system, which called Fides, RDoC. We discuss challenges our decisions, present analysis example computation. also extensions directions research.